locally bicompact

局部列紧的